منابع مشابه
Algèbres de réalisabilité: un programme pour bien ordonner R
Le principal problème, pour transformer les preuves mathématiques en programmes, est naturellement posé par les axiomes : en effet, on sait depuis longtemps comment traiter une preuve en logique intuitionniste pure (i.e. sans axiome), y compris au second ordre [2, 7, 4]. Le premier de ces axiomes est le tiers exclu, et il paraissait insurmontable. La solution, tout à fait surprenante, a été don...
متن کاملUn clasificador de texto por aprendizaje
Uno de los problemas más importantes en telemedicina es la derivación de forma automática de pacientes al especialista apropiado de acuerdo a su sintomatología. Esta asignación es normalmente realizada por un profesional en medicina no especializado que partiendo de un prediagnóstico, normalmente expresado en lenguaje natural, determina la especialidad más adecuada. El objetivo de este trabajo ...
متن کاملVisión por computadora en un robot móvil tipo oruga
In this article a comparative study is carried out between three different types of detectors and feature descriptors on a mobile tracked robot. The detectors and descriptors are SIFT, SURF and ORB. The metrics used as a comparison are: processing time, resistance to noise and invariance to rotation. The experiments show that the ORB technique is the fastest obtaining similar results in the res...
متن کاملSe puede ver el dolor
El dolor es una experiencia subjetiva difícilmente evaluable de forma objetiva por su variada expresión. Se define como una compleja experiencia sensorioemocional, modulada por factores cognitivos y que involucra un amplio sistema neural. La neuroimagen funcional ha contribuido a definir este circuito neural en controles sanos y en pacientes con un síndrome de dolor agudo o crónico implicado en...
متن کاملFast food/organic food: reflexive tastes and the making of ‘yuppie chow’
translations Bouffe-éclair/bouffe biologique: goûts réflexifs et laproduction de ‘bouffe yuppie’ La consommation de produits biologiques n’estqu’un des nombreux courants dans le domaine ali-mentaire perçus comme une forme d’opposition à laproduction industrielle d’aliments. Alors que larestauration rapide est caractérisée par des habitudescompulsives résultant en des cor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Avances en Interacción Humano-Computadora
سال: 2018
ISSN: 2594-2352
DOI: 10.47756/aihc.y3i1.32